$\forall$$g$:OCMon, $a$, $b$, $c$:$\mid$$g$$\mid$. ($a$ $<$ $b$) $\Rightarrow$ ($b$ $\leq$ $c$) $\Rightarrow$ ($a$ $<$ $c$)